Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
591	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
592	Varieties of Belief and Probability Jan van Eijck 1 CWI and ILLC Amsterdam Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 07:37:33 Probability theory Knowledge Bayesian statistics Probability Bayesian probability Epistemic modal logic If and only if Mathematics Probability and statistics Science
593	Change Four Dimensions of Civilization to Construct Ecocivilization Lu Feng Abstract Modern civilization has the following fatal defects: Add to Reading List Source URL: www.case.edu Language: English - Date: 2012-07-18 09:52:04 Cultural anthropology Environmental social science Civilization Cultural history Culture Sociocultural evolution Logic Sustainability Anarcho-primitivism Science Academia Knowledge
594	A level set formulation for Willmore flow M. Droske, M. Rumpf∗ June 2, 2004 Abstract A level set formulation of Willmore flow is derived using the gradient flow perspective. Starting from single embedded surfaces and t Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2010-10-07 11:50:02 Calculus of variations Linear temporal logic Absorbing set
595	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2006-07-05 14:23:02 Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics Mathematical logic Logic
596	Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu Abstract Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:20 Mathematical logic Prolog Mathematical proof SQL Idea Computing Cognition Programming language theory
597	Mining Top-K Sequential Rules Philippe Fournier-Viger1 and Vincent S. Tseng Dep. of Computer Science and Information Engineering, National Cheng Kung University , Abstract. Add to Reading List Source URL: www.philippe-fournier-viger.com Language: English - Date: 2012-03-04 22:18:51 Mathematical logic Algorithm Association rule learning Data management Data mining
598	Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:17:44 Proof theory Deduction Algebraic topology Curry–Howard correspondence Philosophy of computer science Type theory Entailment Sheaf Natural deduction Logic Abstract algebra Mathematics
599	ERMiner: Sequential Rule Mining using Equivalence Classes Philippe Fournier-Viger1 , Ted Gueniche1 , Souleymane Zida1 , Vincent S. Tseng2 1 2 Add to Reading List Source URL: www.philippe-fournier-viger.com Language: English - Date: 2014-10-31 09:13:27 Algebra Theoretical computer science Association rule learning Data management Mathematical logic Integer Equivalence of categories Algorithm Equivalence relation Mathematics Abstract algebra Data mining
600	Egalitarian-Equivalence and the Pareto Principle for Social Preferences∗ Koichi Tadenuma† This version: September 2002 First version: July 2002 Abstract Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:03:33 Economic efficiency Mathematical optimization Pareto efficiency Mathematics Preference Metric Utility Universal quantification Logic Welfare economics Economics Game theory

UPDATE